Exercise logic.propositional.proof.unicode
Description
Prove two propositions equivalent (unicode support)
| Code | logic.propositional.proof.unicode |
| Status | Experimental |
| Strategy | proofequivalent |
| Rules | 62 |
| Buggy rules | 43 |
| OpenMath support | yes |
| Restartable strategy | yes |
| Exercise generator | no |
| Examples | 31 |